In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...

In this paper, new time-varying wireless channel models that capture both the space and time variations of longterm and short-term fading wireless networks are developed. The proposed models are based on stochastic ...

Part of the recent work in AI planning is concerned with the development of algorithms that regard planning as a combinato-rial search problem. The underlying representation language is basically propositional logic. While ...

In this paper we present and compare some classical problem-solving methods for computing the stable models of logic programs with negation. Using a graph theoretic representation of logic programs and their stable models, ...

Stochastic programs with recourse provide an effective modeling paradigm for sequential decision problems with uncertain or noisy data, when uncertainty can be modeled by a discrete set of scenarios. In two-stage problems ...

The performance of stochastic optimal power control for time-varying fading channels, in which the evolution of the dynamical channel is described by stochastic differential equations, is determined. Both long-term and ...

A new time-varying (TV) long-term fading (LTF) channel model which captures both the space and time variations of wireless systems is developed. The proposed TV LTF model is based on a stochastic differential equation ...